1. A practical guide to adopting the Universal Verification Methodology (UVM)
پدیدآورنده : Sharon Rosenberg, Kathleen A. Meade.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs -- Verification.,Computer software -- Verification.,Debugging in computer science.
رده :
QA76
.
76
.
V57
S537
2010
2. Advanced programming in web design
پدیدآورنده : Jain, Er.-V.K.,Er.-V.k. Jain
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Internet )computer network(,، WEB )computer program languages(,، Software verification
رده :
TK
5104
.
2
.
W4J3
3. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
رده :
TK
7874
.
75
.
I45
1997
4. Assurances for self-adaptive systems
پدیدآورنده : Javier Cámara...[et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Adaptive computing systems,Computer software-- Verification,Self-adaptive software
رده :
QA76
.
76
.
S375
A87
2013
5. Automatic verification of sequential infinite-state processes
پدیدآورنده : Burkart, Olaf
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer software -- Verification,، Software engineering
رده :
QA
76
.
L28
Vol
.
1354
6. Certified Programs and Proofs :
پدیدآورنده : edited by Chris Hawblitzel, Dale Miller.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
7. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : Andrews, Jason R.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip
رده :
TK
7874
.
A595
2005
8. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : / by Jason R. Andrews
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
E-BOOK
9. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : / by Jason R. Andrews
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
TK7874
.
A595
2005
10. Computer Aided Verification
پدیدآورنده : \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
11. Computer aided verification :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification ; Congresses. ;
12. Computer-aided verification
پدیدآورنده : edited by Robert Kurshan
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software - Verification , Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93
C65
1993
13. Computer aided verification :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification ; Congresses. ;
14. Computer aided verification :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification ; Congresses. ;
15. Computer aided verification :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification ; Congresses. ;
16. Computer-aided verification
پدیدآورنده :
موضوع : Computer software-Verification,Electronic digital computers - Evaluation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Computer aided verification
پدیدآورنده : P. Madhusudan, Sanjit A. Seshia (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
C38
2012eb
18. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
پدیدآورنده : G.V. Bochmann, D.K. Probst )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
663
19. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
76
.
E93
.
C38
1993
20. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993